0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Automated Reasoning – alle Bücher

    Trefferliste "Automated Reasoning" - alle Bücher

    Ihre Suche nach "Automated Reasoning" (Bücher) ergab 5 Treffer

    Ansicht:

    Automated Reasoning

    Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Automated Reasoning

    This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Model Checking Software

    Lecture Notes in Computer Science -Band 14624

    This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers,…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Advances in Automation, Mechanical and Design Engineering

    This book presents the proceedings of the 2023 4th International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Nanjing, China, on December 8 10, 2023. It gathers contribution…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 273,80, reduziert um 8%
    Aktueller Preis: EUR 251,89

    Advances in Automation, Mechanical and Design Engineering

    This book presents the proceedings of the 2022 3rd International Symposium on Automation, Mechanical and Design Engineering (SAMDE), held in Beijing, China, on December 16 18, 2022, and organized by the H…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 240,94
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH